Logique utopique et imaginaire environnemental

Programmation logique et contraintes

succès rencontrés très rapidement en résolution deprobì emes combinatoires, y compris dans desprobì emes clas-siques de recherche opérationnelle comme en ordonnancement par exemple, ont induit une forte vitalité industrielle et académique dans ce domaine. Les enjeux sont aujourd'hui d'aller vers une plus grande automatisation, qui n'at-teint pas encore celle des outils de programmation linéaire...

Logique mathématique et linguistique formelle

Présentation mise à disposition dans l'attente de la parution du volume aux éditions Cassini

Problemes Generaux Science Et Logique

Structures algébriques en logique et concurrence

In this work we shall synthesize the research activity we have accomplished since we received the PhD title at the University of Québec in Montréal. These researches have been developed at and made possible through several research institutions that we would like to thank : the BRICS at Aarhus University, the PIMS and the Department of Computer Science of Calgary University, the LaBRI at Bordea...

Sémantique Logique Et Dénotationnelle Des Interpréteurs Prolog

A gênerai method is introduced for obtaining the logical semantics (sets of axioms) and the denotational semantics (operator and fixed points) of PROLOG programs. The main idea is analogous to the idea of Van Emden, Kowalski and Apt, but now we consider standard interpreters (which are not fair and are depth first). Our conclusion is that for one PROLOG program they are at least five associated...